On compactness in many-valued logic. I.
نویسندگان
چکیده
منابع مشابه
Many-valued hybrid logic
In this paper we define a many-valued semantics for hybrid logic and we give a sound and complete tableau system which is prooftheoretically well-behaved, in particular, it gives rise to a decision procedure for the logic. This shows that many-valued hybrid logics is a natural enterprise and opens up the way for future applications.
متن کاملMany-valued logic in manufacturing
This paper shows how to enrich the language used in the manufacturing industry regarding information structure and its representation for products and production processes. This is enabled because of our use of many-valued logic, and in order to complement the numerical approach commonly appearing in such representations. We underline the importance of utilizing mathematical disciplines like al...
متن کاملClassical Indeterminacy , Many - Valued Logic
The problem of representing 3-valued supervaluational languages by 2-dimensional product languages is pursued in [3], [8], and [4]. A solution is presented here that attempts to incorporate into such a representation familiar and plausible intuitive principles from traditional many-valued theories. In particular, it is argued in Sections II and III that the concept of classical indeterminacy, w...
متن کاملFranco Montagna's Work on Provability Logic and Many-valued Logic
Franco Montagna, a prominent logician and one of the leaders of the Italian school on Mathematical Logic, passed away on February 18, 2015. We survey some of his results and ideas in the two disciplines he greatly contributed along his career: provability logic and many-valued logic.
متن کاملBernoulli Automorphisms in Many-valued Logic
In classical propositional logic over finitely many variables no automorphism has any stochastic property, because the dual space is a finite discrete set. In this paper we show that the situation for the infinite-valued Lukasiewicz logic is radically different, by exhibiting a family of Bernoulli automorphisms over two variables. As dynamical systems, these are piecewiselinear area-preserving ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1973
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093891009